Efficient Robust Monitoring for STL

Monitoring transient behaviors of real-time systems plays an important role in model-based systems design. Signal Temporal Logic (STL) emerges as a convenient and powerful formalism for continuous and hybrid systems. In this paper we present an efficient algorithm for computing the robustness degree in which a piecewise-continuous signal satisfies or violates an STL formula. Our algorithm, by leveraging stateof-the-art streaming algorithms from Signal Processing, is linear in the size of the signal and its implementation in the Breach tool is shown to outperform alternative implementations.